$\forall$$i$,$j$:$\mathbb{Z}$. $i$ $\neq$ $j$ $\Rightarrow$ (($i$ =$_{0}$ $j$) = ff $\in$ $\mathbb{B}$)